AN AGENT-CENTERED DECISION-ANALYTIC APPROACH TO CLIMATE CHANGE ADAPTATION Mary Huisenga, William Travis and Katherine Clifford University of Colorado at Boulder correspondence:

Source URL: wwa.colorado.edu

• Climate change
• Global warming
• Climate change adaptation
• Climate change and agriculture

Summerinside.... USAFA at 50 State/Providence Report

Source URL: rma.appa.org

• Geography of Colorado
• Colorado
• Western United States
• Colorado State University
• University of Colorado Boulder
• Montana State University
• Denver

Playing a Game: The Ecology of Designing, Building and Testing Games as Educational Activities Alexander Repenning and Clayton Lewis University of Colorado at Boulder Boulder, CO, USA [ralex, clayton]@cs.colorado.edu

Source URL: www.cs.colorado.edu

• Educational psychology
• Learning
• Curricula
• Educational technology
• Education theory
• Educational game
• Learning theory
• Game design
• Educational software
• What Video Games Have to Teach Us About Learning and Literacy
• Video game
• Backward design

Interpretations of the Gradually-Typed Lambda Calculus (Distilled Tutorial) Jeremy G. Siek University of Colorado at Boulder

Source URL: users-cs.au.dk

• Theoretical computer science
• Symposium on Principles of Programming Languages
• SIGPLAN
• ACM SIGACT
• Gradual typing
• Lambda calculus

MONAURAL SEPARATION AND CLASSIFICATION OF NON-LINEAR TRANSFORMED INDEPENDENT SIGNALS: AN SVM PERSPECTIVE Sepp Hochreiter and Michael C. Mozer Department of Computer Science University of Colorado Boulder, CO 80309

Source URL: www.bioinf.jku.at

• Signal processing
• Statistical models
• Convex optimization
• Operations research
• Independent component analysis
• Wavelet
• Linear programming
• Support vector machine
• Matrix
• Machine learning
• Sparse approximation
• Sparse dictionary learning

Gradual Typing with Efficient Object Casts Extended abstract Michael M. Vitousek ∗ Adviser: Jeremy G. Siek † University of Colorado at Boulder

Source URL: homes.soic.indiana.edu

• Data types
• Type theory
• Object-oriented programming languages
• Cross-platform software
• Procedural programming languages
• Gradual typing
• Type system
• This
• Objective-C
• Type safety
• Parameter
• Reference

Posterboards or Java Applets? Andri Ioannidou*, Alexander Repenning*, John Zola** * Center for LifeLong Learning and Design, Department of Computer Science, University of Colorado at Boulder, Campus Box 430, Boulder, CO

Source URL: www.cs.colorado.edu

• Simulation
• Visual programming languages
• Scientific modeling
• AgentSheets
• Cross-platform software
• Social simulation
• Alexander Repenning
• Web-based simulation
• Computer simulation
• Agent-based model
• Scientific modelling
• End-user development

Gradual Typing with Unification-based Inference Jeremy G. Siek Manish Vachharajani University of Colorado at Boulder

Source URL: ecee.colorado.edu

CCAT: el Telescopio Submilimetrico de Atacama El Consorcio CCAT •Cornell University •California Institute of Technology •University of Colorado at Boulder •The United Kingdom

Source URL: www.ccatobservatory.org

This article was downloaded by: [University of Colorado at Boulder Libraries] On: 19 August 2013, At: 22:10 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: Registered of

Source URL: kaden.rice.edu